退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于带注释的过程模型中子句约束的符合性检查
J. Hoffmann; I. Weber; G. Governatori;
机译:在带注释的过程模型中对从属约束的合规性检查
机译:基于本体的规则约束语义建模,用于自动化施工质量符合性检查
机译:语义注释的业务流程的模型检查分析
机译:使用带注释的半正式可执行模型在AUTOSAR平台上检查对技术安全要求的验证符合性
机译:使用对象约束语言的时间扩展进行模型检查UML设计。
机译:儿童处理宾语从句时的语篇可及性限制
机译:带注释的过程模型的近似符合性检查
机译:在场可编程门阵列的仿真模型中向后注释时序约束的方法和装置
机译:基于规则的体系结构检查和设计模型符合性检查系统及方法
机译:基于规则的建筑分析与设计模型合规性检查系统及方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。